Search-based software engineering - PDFSEARCH.IO - Document Search Engine

Search-based software engineering
Results: 28

#	Item
11	Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-05-22 11:04:10 Transaction processing Software engineering Lock Linearizability Parallel computing Extensible Storage Engine Variable Thread Concurrency control Computing Data management
12	A Breadth-First Representation for Tree Matching in Large Scale Forest-Based Translation Sumukh Ghodke Steven Bird Rui Zhang Department of Computer Science and Software Engineering Add to Reading List Source URL: www.ruizhang.info Language: English - Date: 2011-10-07 04:29:03 Data management R-tree Computing Tree Trie T-tree Breadth-first search Decomposition method Graph theory Binary trees B-tree
13	Constraint-based approaches for Balancing Bike Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Scheduling and Timetabling Group, Department of Electrical, Management and Mechanical Engineering, Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:21 Computing Ant colony optimization algorithms Decomposition method FO Bicycle sharing system Local search Bicycle Constraint programming Software engineering Computer programming
14	Scaling Feature Based Mathematical Search Engine for Real-World Document Sets Jozef Miˇsutka1 Department of Software Engineering, Charles University in Prague [removed] Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:54:02 Data mining Machine learning Multivariate statistics Analysis of algorithms Asymptotic analysis Trigonometric functions Cluster analysis Algorithm Function Mathematics Mathematical analysis Statistics
15	Constraint-based approaches for Balancing Bike Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Scheduling and Timetabling Group, Department of Electrical, Management and Mechanical Engineering, Add to Reading List Source URL: tunnuz.net Language: English - Date: 2014-09-12 00:58:21 Computing Ant colony optimization algorithms Decomposition method FO Bicycle sharing system Local search Bicycle Constraint programming Software engineering Computer programming
16	TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstr¨om Abstract Talplanner is a forward-chaining planner which utilizes domain-dependent knowledge to control search in the state Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:31 Planner Mathematical optimization Temporal logic Software engineering Computing Artificial intelligence Automated planning and scheduling Logic programming
17	Approaching Archival Photographic Collections with Advanced Image Retrieval Technology Lei Wang School of Computer Science and Software Engineering University of Wollongong, NSW, Australia, 2500 E-mail: [removed] Add to Reading List Source URL: www.naa.gov.au Language: English - Date: 2013-10-09 20:31:48 Artificial intelligence applications Vision Information retrieval Content-based image retrieval Image retrieval Natural language processing Internet search engines Document retrieval James Z. Wang Image search Information science Artificial intelligence
18	ACM International Symposium on Software Testing and Analysis (ISSTA), July[removed]Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khur Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2002-12-12 04:04:00 Search algorithms Software testing Java programming language Java Modeling Language Java platform Korat Linked list KeY Binary tree Computing Computer programming Software engineering
19	Manipulation-based Active Search for Occluded Objects Lawson L.S. Wong, Leslie Pack Kaelbling, and Tom´as Lozano-P´erez Abstract— Object search is an integral part of daily life, and in the quest for competent mobile Add to Reading List Source URL: lis.csail.mit.edu Language: English - Date: 2013-02-23 14:42:22 Computer programming Statistical theory C++ Standard Library Estimation theory Container Parametric model Maximum likelihood Object Sequence container Object-oriented programming Software engineering Computing
20	Verified Stack-Based Genetic Programming via Dependent Types? Larry Diehl http://github.com/larrytheliquid/dtgp/tree/aaip11 Abstract. Genetic Programming (GP) can act as a powerful search Add to Reading List Source URL: www.cogsys.wiai.uni-bamberg.de Language: English - Date: 2011-07-04 13:30:24 Type theory Functional languages Data types Control flow Procedural programming languages Dependent type Agda Eval Type system Computing Software engineering Software

UPDATE